1. Advanced R
Author: Hadley Wickham.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: MATHEMATICS / Probability & Statistics / General,Programming languages (Electronic computers),R (Computer program language)
Classification :
QA276
.
45
.
R3
H335
2019
2. Categories, types, and structures
Author: / Andrea Asperti, Giuseppe Longo
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Programming languages (Electronic computers),Categories (Mathematics)
Classification :
QA76
.
7
.
A76
1991
3. Categories, types, and structures
Author: / Andrea Asperti, Giuseppe Longo
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Programming languages (Electronic computers),Categories (Mathematics)
Classification :
QA76
.
7
.
A76
1991
4. Categories, types, and structures : an introduction to category theory for the working computer scientist
Author: Asperti, Andrea
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers(,، Categories )Mathematics(
Classification :
QA
76
.
7
.
A76
1991
5. Computer mathods in mathematics
Author: Albrecht, Robert L
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Electronic data procssing - Mathematics,، Elecctronic Calculating machines,، programming languages ) Electronic computers(
Classification :
QA
76
.
5
.
A368
6. Computer methods in mathematics
Author: / Robert L. Albrecht, Eric Lindberg, Walter Mara. Reading
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Electronic data processing - Mathematics,Computers,Programming languages (Electronic computers)
Classification :
510
.
18
A341c
7. Computer methods in mathematics
Author: Albrecht, Bob
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Mathematics -- Data processing,، Computers,، Programming languages )Electronic computers(
Classification :
QA
76
.
5
.
A368
8. Domain-theoretic foundations of functional programming
Author: / Thomas Streicher
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics,Computer science -- Mathematics,Functionele programmering,Domein (wiskunde)
Classification :
QA
76
.
7
.
S818
2006
9. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
Author: Wilfried Brauer...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
Classification :
QA
76
.
L28
Vol
.
2300
10. Generalized quantifiers and computation
Author: Jouko Väänänen (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
11. Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop : Aix-en-Provence, France, August 11-12, 1997 : revised lectures
Author: Jouko Vaananen )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Computer logic,، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
1754
12. Grammars and automata for string processing: from mathematics and computer science to biology, and back
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages
Classification :
QA
76
.
G64
2003
13. Grammars and automata for string processing : from mathematics and computer science to biology, and back
Author: edited by Carlos Martin-Vide and Victor Mitrana
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-
Classification :
QA
76
.
G69
14. Initial computability, algebraic specifications, and partial algebras
Author: / by Horst Reichel
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer science - Mathematics,Data structures (Computer science),Programming languages (Electronic computers) - Semantics,Partial algebras
Classification :
QA
76
.
9
.
M35R45
1987
15. MATLAB Recipes
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software. ; Mathematics. ; Programming languages (Electronic computers). ; Professional Computing. ;
16. Maple user manual.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Maple (Computer file),Maple (Computer file),Mathematics-- Data processing.,Programming languages (Electronic computers),Mathematics-- Data processing.,Programming languages (Electronic computers)
Classification :
QA76
.
95
.
M362
2005
17. Mathematical aspects of natural and formal languages
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Mathematics
Classification :
QA
76
.
7
.
M376
1994
18. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings
Author: M. Main...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
298
19. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
7
.
M378
1988
20. Mathematical foundations of programming semantics :
Author: M. Main, A. Melton, M. Mislove ... [et al.], eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
Classification :
QA76
.
7
M535
1990
